Property Based Testing
Property Based Testing
Haskellの
QuickCheck
Scalaだと
scalaprops
ScalaCheck
JUnit 5
からはできるようになってるっぽい
CoqでやるProperty-Based Testingを見つけた
QuickChick
確認用
Q. Property Based Testing
参考
Property Based Testing でドメインロジックをテストする
プロパティベース・テストを習得する
#テスト手法